Reactive programming - PDFSEARCH.IO - Document Search Engine

Reactive programming
Results: 105

#	Item
91	Functional Reactive Programming With Frappuccino @steveklabnik Add to Reading List Source URL: euruko2013.org - Date: 2013-09-04 18:42:59
92	Teleo-Reactive Abductive Logic Programs Robert Kowalski and Fariba Sadri Imperial College London, {rak, fs}@doc.ic.ac.uk Abstract. Teleo-reactive (TR) programs are a variety of production systems with a destructively upd Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-01-20 14:02:42 Logic programming Logic in computer science Knowledge representation Programming language semantics Abductive logic programming Operational semantics Semantics Event calculus Frame problem Mathematical logic Theoretical computer science Logic
93	A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,[removed]} Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-06-12 08:05:15 Model theory Formal languages Semantics Logic in computer science Programming language semantics Operational semantics Interpretation Term algebra First-order logic Logic Mathematical logic Mathematics
94	Functional Reactive Animation in SVG for the Web via Links Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2012-01-16 11:25:38 Graphics file formats Reactive programming Functional languages Java platform Scalable Vector Graphics Functional reactive programming Scala Animation Computing Software engineering Evaluation strategy
95	Accepted for publication in MODULARITY[removed]REScala: Bridging Between Object-oriented Add to Reading List Source URL: www.stg.tu-darmstadt.de Language: English - Date: 2014-01-15 17:31:26 Programming paradigms Evaluation strategy Signal processing Reactive programming Functional languages Functional programming Signal ALGOL 68 ATS Software engineering Computing Computer programming
96	The University of New South Wales School of Computer Science and Engineering Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-10-29 22:32:04 Computer programming Evaluation strategy Functional programming Domain-specific language Declarative programming Reactive programming Haskell Functional reactive programming Imperative programming Software engineering Programming paradigms Computing
97	Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-11-14 10:13:24 Mathematics Linear temporal logic Temporal logic Monad Limit Initial and terminal objects Functor Modal logic Cone Category theory Abstract algebra Adjoint functors
98	Event-Driven FRP Zhanyong Wan, Walid Taha, and Paul Hudak Department of Computer Science, Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2001-11-16 19:56:54 Evaluation strategy Functional programming Functional reactive programming
99	Elm: Concurrent FRP for Functional GUIs Evan Czaplicki 30 March 2012 Add to Reading List Source URL: www.testblogpleaseignore.com Language: English - Date: 2012-04-10 02:57:06 Evaluation strategy Functional programming Functional reactive programming Reactive programming Graphical user interface GUI widget Purely functional User interface JavaScript Software engineering Computing Programming paradigms